IRIS

Sfoglia per Rivista  LECTURE NOTES IN COMPUTER SCIENCE

Opzioni
Vai a: 0-9 A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
Mostrati risultati da 49 a 66 di 66
Titolo Data di pubblicazione Autore(i) File
PREG Axiomatizer - A Ground Bisimilarity Checker for GSOS with Predicates 1-gen-2011 Aceto, L; Caltais, G; Goriac, E; Ingólfsdóttir, A
The Price of Envy-Freeness in Machine Scheduling 1-gen-2014 V., Bilo'; A., Fanelli; Flammini, Michele; Monaco, Gianpiero; L., Moscardelli
Proceedings of the 10th International Symposium on Algorithmic Game Theory (SAGT) 1-gen-2017 Bilò, Vittorio; Flammini, Michele
Recoverable robust timetables on trees 1-gen-2009 D'Angelo, G; G., DI STEFANO; A., Navarra; C. M., Pinotti
Relating Modal Refinements, Covariant-Contravariant Simulations and Partial Bisimulations 1-gen-2011 Aceto, L; de Frutos-Escrig, D; Fábregas, I; Ingólfsdóttir, A; Palomino, M
Rule Formats for Bounded Nondeterminism in Structural Operational Semantics 1-gen-2016 Aceto, L; García-Pérez, Á; Ingólfsdóttir, A
Rule Formats for Determinism and Idempotence 1-gen-2009 Aceto, L; Birgisson, A; Ingólfsdóttir, A; Mousavi, M R
Rule Formats for Distributivity 1-gen-2011 Aceto, L; Cimini, M; Ingólfsdóttir, A; Mousavi, M R; Reniers, M A
Scheduling Real-Time Mixed-Criticality Jobs 1-gen-2010 V. Bonifaci, S. K. Baruah; D'Angelo, G; H., Li; A., Marchetti-Spaccamela; N., Megow; L., Stougie
Selfishness, Collusion and Power of Local Search for the ADMs Minimization Problem 1-gen-2007 Flammini, Michele
Some Anomalies of Farsighted Strategic Behavior 1-gen-2013 Bilo', V.; Flammini, Michele; Monaco, Gianpiero; Moscardelli, L.
SOS Rule Formats for Idempotent Terms and Idempotent Unary Operators 1-gen-2013 Aceto, L; Goriac, E; Ingólfsdóttir, A
Strategyproof Mechanisms for Additively Separable Hedonic Games and Fractional Hedonic Games 1-gen-2018 Flammini, M.; Monaco, G.; Zhang, Q.
Synthesis of concurrent and distributed adaptors for component-based systems 1-gen-2006 Autili, Marco; Flammini, Michele; Inverardi, Paola; Navarra, A; Tivoli, Massimo
Teaching Concurrency: Theory in Practice 1-gen-2009 Aceto, L; Ingólfsdóttir, A; Larsen, K G; Srba, J
The Equational Theory of Weak Complete Simulation Semantics over BCCSP 1-gen-2012 Aceto, L; de Frutos-Escrig, D; Gregorio-Rodríguez, C; Ingólfsdóttir, A
The Shortcut Problem - Complexity and Approximation 1-gen-2009 R., Bauer; D'Angelo, G; D., Delling; D., Wagner
When Are Prime Formulae Characteristic? 1-gen-2015 Aceto, L; Della Monica, D; Fábregas, I; Ingólfsdóttir, A
Mostrati risultati da 49 a 66 di 66
Legenda icone

  •  file ad accesso aperto
  •  file disponibili sulla rete interna
  •  file disponibili agli utenti autorizzati
  •  file disponibili solo agli amministratori
  •  file sotto embargo
  •  nessun file disponibile